Non-additive Functors, Their Derived Functors, and the Suspension Homomorphism.

3E. L. Post, J. Symb. Logic, 12, 1-11, 1947. 4In the sense of Post, the word problem for Z is reducible to that for sp (2:). 5 W. Magnus, Math. Annalen, 106, 295-307, 1932. 6 DanaScott, abstract, J. Symb. Logic, 21, 111-112, 1956. 7Marshall Hall, J. Symb. Logic, 14, 115-118, 1949. 8 G. Higman, B. H. Neumann, and H. Neumann, J. London Math. Soc., 24, 247-254, 1949. 9 As defined, UG, Part I, p. 234. 10 Also provable by Theorem I of Higman, Neumann, and Neumann, op. cit., as pointed out to us by Higman. 11 The set of words Al, A2, . . ., AK on 3 is not independent if there is a product of the A's, with no adjacent A's inverses of each other, which equals 1 in the free group on 3. 12 The 32 defining relation group mentioned above has one relation which is astronomical in length. 13 Included in a report filed with the National Science Foundation on contract G-1974, May 28, 1956-but in a form more akin to UG, Parts V-VI, than Result a as presently shown (cf. W. Craig, J. Symb. Logic, 18, 30-32, 1953, and B. H. Neumann, J. London Math. Soc., 12, 125, Theorem (13), 1937). 14For related material see W. W. Boone, abstract, Bull. A.M.S., 62, 148, 1956.